Add Exercise 10.13.