Actually, this should solve all purely deductive sudoku puzzles. Now I have to implement guess-and-check things. Ug.