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

Persist in doing what you love, and don't give up easily even when facing difficulties.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."