Exercise 9.6.3