Example 2.12 done