FORMALIZER

Definition of FORMALIZER