[reificator]

> I'd like this to go one step further and allow you to guess on a square where you will inevitably have to guess anyway.

If you have all of the possible information for that guess already, then yeah.

If there are still some unknowns that you could resolve first to get more information, then guessing should still result in a mine.

[dmurray]

Yeah, that's what I meant really, as per my attempt to formalize it.

I can't think of any situations where it makes a difference, though, other than ones where you rely on the mines-remaining counter.