Example 2.26 complete