Key to Reading Exercise 7 from Ockinga