Example 2.32 done