[CG] Re: Differential Logic and Dynamic Systems