Ex 2.7

Ā Manipulation of Formulae