Deriving and using formulae