Formalizers

Definition of Formalizers