Example 1 is complete