How Good Notation Makes You A Better Sudoku Solver