Exercise 1.25.