Example 3.13