模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

教师个人的范例，对于青年人的心灵，是任何东西都不可能代替的最有用的阳光。

我不喜欢输，但这是比赛的一部分。重要的是你如何恢复。

There are some people who think love is marriage and six o'clock-kisses and children, and perhaps it is, Miss Lester. But do you know what I think? I think love is a touch and yet not a touch.

人的任务，就是意识到从潜意识中努力向上涌出的内容。

Never stop learning because the world never stops changing.

商业中最危险的心态是"我们一直都是这么做的"。

成功建立在持续学习和适应的文化之上。