"The most rewarding part of directing is seeing the final product and knowing you've created something meaningful."

In mathematics, the art of proposing a question must be held of higher value than solving it.

使我们无法自由和高尚地活着的最主要原因是对财富的迷恋。

You can do anything you set your mind to, man.

The best buildings are those that disappear into use.

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

对人类来说，最可恨的事情是知道一切却无能为力。