我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

Never underestimate the power of a motivated team. They can achieve the impossible.

成功的最好方法是相信自己。

微小的行动，乘以数百万，就能改变世界。

人生只能做自己决定的事情。但是，自己决定的事情，什么都能做到。

胜利很棒，但旅程才是让它特别的原因。

A woman makes a plan—then she makes it happen.

Life is nasty, brutish, and short.

所有的枪都上了膛。