Example 2.11 done