Chapter 5, Tutorial 3
Rules of Replacement: DM, DN, IM, EQ

All the rules described in this chapter are old friends. Well, at least we've seen them all before though in different guise: as principles of logically equivalent symbolization. If you've not done it recently, now would be a good time to go back to exercise 4.5e to review these principles.

Here's the idea.