Puzzles solved by Allen