Example 1 finished