sa:existential_reasoning