Exercise 10.17