Definition of Formalities