[CG] Re: Survey of Differential Logic