Example 6.22