Example 3.11