Exercise 4.63