Example 3.18