revised Example 8