Example 2.3 done.