Puzzles solved by Pro