Definition of Formulae