Example 4 added in Section 3.1