-> Exercise 2.42.