Talent is the primary resource. We must create a favorable environment that respects, cherishes and makes good use of talents.

You must force yourself to consider opposing arguments.Especially when they challenge your best-loved ideas.

不平等并非不可避免。它是我们通过所追求的政策做出的选择。

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

我们都是自己经历的翻译者，试图用自己的语言理解世界。