Example 3.9