Key to Exercise 7 from Allen