Exercise 3.25