Example 4.13