每当我的思考有一丝松懈，“踩雷”后就会弹出这样一个窗口。
其中第一个按钮叫做“我不信”，点击之后就会在我上一步操作的基础上，生成一个“已踩雷”且符合规则的局面。
假如我有无限次的时间回溯的能力，在玩普通扫雷游戏的时候可以遍历每一个格子，踩雷后回溯并记住每一颗雷的点位，然后就能表演一次性盲标记出所有雷。
但这个扫雷游戏不一样。
我的每一步操作，不管是标雷还是开格子都必须在当前局面下“符合逻辑”，或者说得有 100% 的把握。不然“神明”就会把我送到一个会踩雷的平行世界。
这里的“神明”其实是底层的 Sugar CSP Solver。
