Example 4 added