Example 6.21