Exercise 2.23.