Exercise 11.9.