If a number’s surrounding unrevealed squares exactly equal that number, every one of those squares must be a mine.