Update Exercise 15.20.r