Example 2.4 added