Lecture 10 : Formulae