Example 1 - 1.4.2 add
Exercise 1.12 done
Exercise 1.13 done