Key to Exercise 24 from Allen