FORMALIZERS

Definition of FORMALIZERS