创作的行为是一种爱的行为。
The act of creation is an act of love.
The vision and decision-making ability of leaders determine the future of the enterprise.
The challenge in model checking is not just to find errors, but to understand why they occur.
We must listen to the science, even when it challenges our traditional methods.
小说是一个伟大的发现：远比伽利略的望远镜或别人的无线电报更伟大。小说是人类迄今为止达到的最高表达形式。为什么？因为它是如此无法达到绝对。
"The only way to do great work is to love what you do."
The total amount of suffering per year in the natural world is beyond all decent contemplation.