Example 5.3 rev 1.mw