en:existential_reasoning