形式化方法的美在于它们能够提供关于系统行为的绝对保证。

If you can dream it, you can do it.

The most valuable crop we can grow is trust—with our consumers, our communities, and our environment.

The best way to predict the future is to invent it.

当我看着这个世界时，我是悲观的，但当我看着人们时，我是乐观的。

"Stories are the way we heal."

Quantum mechanics is not just a theory about the world, it is a description of the world at its most fundamental level.

译文：从书本上得到的知识，体会很浅薄，要透彻地了解某件事，一定要亲身实践不可。赏析：做任何事，我们不仅要学习理论知识，还要亲身实践。事情的难与易，对与错，只有自己去做了后才有发言权。