Evaluation of formulae