Example 2.25 done.