Example 3.10