Example 1 updated