Minesweeper, but you only solve each situation once.

• Regions (number bubbles connected by lines) generated from clues on the board

• Rules act on regions to mark bombs, clear squares or create new regions

• A checker tells you if your rule is formally correct

• Rules are auto applied forever after, resolving the situations you have solved before

• Only the hard situations remain.

• A hint system can mark the determinable squares and remove all unnecessary regions from the board.

• Regions can be hidden or discarded using rules

• Thousands of levels to play, all solvable without guessing.