Exercise 1.25