想象力是我们创造更美好世界的最强大工具。

The discovery of 51 Pegasi b was a turning point in astronomy, proving that planets could exist around sun-like stars.

不要弄乱我的圆。（传说在被罗马士兵杀害前的最后一句话）

守住嘴巴，就跟拴紧瓶口一样。克制欲望，就像防守城池一般。

The worst enemy of life, freedom and the common decencies is total anarchy; their second worst enemy is total power.

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."