For the Sudoku example, the verification algorithm is what we describe as something to take the original Sudoku problem with things not filled in and the answer is printed in the back of the magazine where the answer filled in, and it checks to see whether this is the actually a solution to that. 