Example 7: completed.