Example 6.3