I had this idea when playing minesweeper, to recognize making harder-than-necessary deductions in some way. It's nice to see it executed! :) Fun to play.