Add Exercise 9.7.