Exercise 9.7