Lecture 11 : Formulae