我不会继续敲那扇不为我打开的老门。我要创造自己的门，然后走进去。

I don't pursue style. I pursue coherence.

唯一真正的发现之旅不在于寻找新的风景，而在于拥有新的眼光。

The challenge in model checking is not just to find errors, but to understand why they occur.

如果你能在周围的人都失去理智并责怪你时保持冷静...

译文：和朋友交往，我们应该学习他的优点和长处，这样才能从中受益；读到古代圣贤的良言警句，必须做到身体力行，这样才算真正地把书读透了。赏析：三人行必有我师，这个世上没有十全十美之人，我们只有学习别人的优点，才能不断完善自己的人格。读书不仅要记住书中的知识，更要学以致用。

翻译：德行浅薄而地位高贵，智能低下而心高志大，力量微弱而身负重任，这样的人没有几个是不遭受祸害的。