Example 3 updated