Example 9 added