Exercise 10.1.7