—— 请按键盘 空白键 开始游戏 ——

相机就像武器;如果你不知道如何使用它,它就很危险。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
Every great and deep difficulty bears in itself its own solution. It forces us to change our thinking in order to find it.
我们必须记住,(地球)这是一颗非常小的恒星,可能还有一些更大、更重要的恒星,可能是非常虚拟和快乐的(更适合人类居住?)。