discussion:en:existential_reasoning