Exercise 4.76