Example 6.19