Check: The ABC's of Puzzle Solving