Exercise 1.16.