成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
小说的艺术在于让读者忘记作家的存在。
The ultimate test of any economic theory is whether it improves real-world decisions.
Architecture is a form of meditation.
Every role is a new adventure, a new journey into the unknown.
我对成功有一些观察，你不可能在所有事情上成功。我们常听到有关工作和休闲的平衡，鬼话。你不可能全部拥有。你就是不能。所有对成功的想象，必须承认他们同时也失去了一些东西，放弃了一些东西。我想一个智者能接受，如我所说，总是有什么是我们得不到的。
You don't have to burn books to destroy a culture. Just get people to stop reading them.
What you do makes a difference, and you have to decide what kind of difference you want to make.