Exercise 23.9.07