Key to Exercise 10 from Allen