FORMALIZATIONS

Definition of FORMALIZATIONS