Example 2.5 done