7.7. Rearranging Harder Formulae