Exercise 2.73 added