Exercise 15.07