Key to Exercise 22 from Allen