+1. I lost the game by clicking on a space that could not have possibly been a mine, based on the # of mines left. If there were a mine there, then the total number of mines would have had to be N+1, not N.
Mines from Simon Tatham's Portable Puzzle Collection also doesn’t require guessing and does take that case into account:
> you are guaranteed to be able to solve the whole grid by deduction rather than guesswork. (Deductions may require you to think about the total number of mines.)
> you are guaranteed to be able to solve the whole grid by deduction rather than guesswork. (Deductions may require you to think about the total number of mines.)
https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/mine...