[CG] Re: Differential Propositional Calculus