Example 3.5