Example 2.5 and 3.3