hi:discussion:sa:propositional_calculus