[CG] Re: Differential Propositional Calculus • Discussion