Exercise 3.12
Exercise 3.14