Key to Exercise 20 from Allen