Example 4.9