Redo the exercises of 4.2.x, looking for opportunities to use the new rules. (Each of the answers in 4.2.xa has as least one alternative using the new rules, and most of these new derivations are much shorter than the one given in the last section.)