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

Sustainability is no longer an option; it's a necessity for survival.

人的幼儿时期，足以决定一辈子的生活形态。

我不是政治家，我是演员。我不必对每件事都有意见。

All you need for a lifetime of successful investing is a few big winners, and the pluses from those will overwhelm the minuses from the stocks that don’t work out.

每个国家的历史始于一个人的心灵中。

I don't look for excuses. I look for solutions.