Identification and Function of Formulae