Key to Exercise 19 from Allen