A classic 9×9 Sudoku game built around logical deduction and branching hypotheses. Mark assumptions separately from deductions, manage candidates, backtrack through multiple branches, and progress through ten chapters containing 100,000 puzzles.