zh:discussion:la:existential_reasoning