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

What is the one sentence summary of how you change the world? Always work hard on something uncomfortably exciting!
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The goal of mathematics is to make the simple complicated, and the complicated simple.