Puzzles solved by Davis