Update Exercise 15.25.r