Exercise 1.3.26
Exercise 1.3.27