Correct Example 3.20