Add Exercise 11.7.