Definition of "formalizes"