Key to Exercise 23 from Allen