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

取得成功的秘诀是开始。

流放不仅仅是地理问题；它是一种心境。

永不，永不，永不屈服。

The best decisions are made when you listen to diverse perspectives, especially from those who disagree with you.

文字和图画之间的空间正是魔法发生的地方。

I prefer women with a past. They are always so damned amusing to talk to.

愤怒的时候我会去打球，把怒气发泄在球上。