Deriving And Using Formulae