Example 4.14