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

You can't control how other people feel, but you can control how you react to them.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
预测未来的最好方法就是创造未来。
It is a common experience that a problem difficult at night is resolved in the morning after the committee of sleep has worked on it.