Exercise 2.84 added.