Every board is solvable by pure logic — no 50/50 guesses. Difficulty sets how deep the deductions go; the board is always 30×16.