Example 2.28 done.