Example 7.12 rev.mw