In level 8, shouldn’t it be possible to infer that the two red squares are safe in this position? If either one is a mine, then there is no logical path to a solution because there is no clue which disambiguates these two squares and they cannot both be mines.
