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

Nothing in life is as important as you think it is when you are thinking about it.
生活中没有什么事情像你在思考它时认为的那么重要。
Everything is possible as long as you have the courage to pursue it.
The future of computing lies in the development of systems that can verify their own correctness.
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
The choice for mankind lies between freedom and happiness and for the great bulk of mankind, happiness is better.