Example 3.7