Example 3.3