集合起一百个伟大头脑，就会得到一个大傻瓜。

科学中最重要的事情是不怕看起来愚蠢。

模型检查是验证有限状态并发系统正确性的强大技术。

The future belongs to those who see possibilities before they become obvious.

告子虽然诋毁我的行为，但还是胜过毫无毁誉。 

正义并不总是在法庭上找到；有时它存在于那些勇敢寻求正义的人的行动中。

记忆是个奇怪的东西，它不像我想的那样运作。记忆根本不是一件简单的事。