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

You have to be willing to fail in order to succeed.
The aim of proof is to understand, not just to verify.