Exercise 5.25