爱改变一切。

事实是，如果你让我在赢得环法自行车赛和癌症之间做出选择，我会选择癌症。听起来很奇怪，我宁愿拥有癌症幸存者的头衔，也不愿成为环法冠军，因为它对我作为一个人、一个男人、一个丈夫、一个儿子和一个父亲的影响。

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

毛毛虫眼中的世界末日，我们称之为蝴蝶。

The obligation of subjects to the sovereign is understood to last as long, and no longer, than the power lasteth by which he is able to protect them.

成功的关键是走进商店，听听员工们怎么说。每个人都参与进来是非常重要的。最好的想法来自基层。

The truth is often uncomfortable, but it is necessary.