Puzzles solved by davis