Exercise 2.13.