Example 2.4