Example 6.2