Example 7.9 rev.mw