Exercise 2.25