7. Substitution and formulae