Exercise 6.2.120