Exercise 1.17.