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

"The past is always with us, but it doesn't have to define our future."
The aim of proof is to understand, not just to verify.
The most important property of a program is whether it accomplishes the intention of its user.