Exercise 10.31