Example 8.