  We prove that the theories of fields with Hasse-Schmidt derivations
corresponding to actions of formal groups admit model companions. We also give
geometric axiomatizations of these model companions.
