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

The most difficult thing in life is to know yourself.
The future of computing lies in the development of systems that can verify their own correctness.