在科学中，荣誉归于说服世界的人，而不是首先想到这个想法的人。
In science, the credit goes to the man who convinces the world, not to the man to whom the idea first occurs.
I am not interested in the average, I am interested in the extreme.
没有什么比一个显而易见的事实更具欺骗性。
历史上的每位暴君都相信自由——他自己的自由。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
我们必须接受事物的本来面目，但我们应该努力使它们按照我们希望的方式到来。
海，海，海。它翻滚着，翻滚着，呼唤着我。进来吧，它说，进来吧。
