Example 3.12