Complete Example 12.