Exercise 9.17