Exercise 4.25