Complete Example 9.