Example 3.4