It's not always necessary to be better than everyone else, but to be better than you used to be.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

我不习惯吹嘘或谈论我所做的事情。我更喜欢人们只是看我比赛，然后做出自己的判断。

释义：上顺应于天，下取悦于民。使民众喜悦，人民便忘记了劳苦；用喜悦战胜困难，民众就会忘掉死亡的威胁，喜悦的作用太大了，它能勉励民众！

One must still have chaos in oneself to be able to give birth to a dancing star.

永远不要停止学习，因为生活永远不会停止教导。

The future is hidden even from those who make it.

我不需要任何人的认可，我知道自己的价值。

Innovation in energy must balance environmental responsibility with economic viability.

波粒二象性并非悖论，而是量子力学的基本特征。