Example 2.17 complete