Key to Exercise 25 from Allen