The aim of proof is to understand, not just to verify.
证明的目的是理解，而不仅仅是验证。
When people talk, listen completely. Most people never listen.
农业效率绝不能以牺牲环境管理为代价。
To feed the world, we must first respect the resources we have.
理论计算机科学中的挑战不仅仅是解决问题，而是理解为什么它们难以解决。
简单性并不先于复杂性，而是随之而来。
I have often been asked how my plays come about. I cannot say. Nor can I ever sum them up. I can only say that this is what happened. That is what they said. That is what they did.
