Puzzles solved by IBM