Example 6.24