FORMALITER

Definition of FORMALITER