Key to Exercise 5 from Allen