Exercise 2.20.