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

人不是物中的物;物相互决定,但人最终是自我决定的。
The human being is not a thing among things; things determine each other, but the human being is ultimately self-determining.
The city is a book written by its inhabitants.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
A company is only as strong as the people who work for it.
我不必成为除了我自己以外的任何东西。