投资于农民教育就是投资于乳制品的未来。

创新不是偶然发生的；它需要对人和想法进行有意的投资。

Words are all we have.

The debate shouldn’t be coal vs. renewables—it should be about how we make both better.

Everywhere there is a large commission, there is a high probability of a rip-off.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。