[CG] Differential Propositional Calculus • Discussion