Example 3.16