Exercise 1.1.8
Exercise 1.1.11