hi:discussion:sa:existential_reasoning