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

事物是甜还是苦,尝试过的人才能辨别;道路有平坦与险阻,走过的人才知道。
A story is not a lie, but neither is it the truth.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Sustained outrage makes you stupid.