Example 3.6