Exercise 1.23.