"In the end, we will remember not the words of our enemies, but the silence of our friends."

你首先要做的是说服人类你是他们的朋友，并且你是在为他们的利益行事。

科学中最重要的不是获得新的事实，而是发现新的思考方式。

建筑是关于给出正确的答案，而不是提出正确的问题。

形式化方法不是银弹，但它们是追求可靠系统的重要工具。