Names, Formulae and Equations