Exercise 1.7.