Formalizer

Definition of Formalizer