The construction, interpretation and use of formulae and their manipulation To include change of subject of a formula and substitution