discussion:sa:existential_reasoning