Example 5.6 rev 1.mw