有史以来最大的发现就是，一个人仅仅改变自己的态度，就能改变他的未来。
最伟大的领导者不一定是做最伟大事情的人，而是让人民做最伟大事情的人。
我将永远是一名火箭队球员。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
最好的球员拥有最短的记忆。
没有任何对象的存在是不容置疑的。