6.5: Manipulation of algebraic formulae