Example 7 complete