我不是为记录而比赛。它们自然而然地出现，唯一重要的是球队获胜。
I don't play for the records. They come naturally and the only thing that matters is that the team wins.
被宽恕只是礼物的一半，另一半是我们也能宽恕。
"The greatest journeys are not measured in miles, but in understanding."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
他走进灰暗的光线中站着，在那一瞬间他看到了世界的绝对真相。无遗嘱的地球冷酷无情的旋转。无法平息的黑暗。太阳的盲犬在奔跑。宇宙中粉碎一切的黑洞。某处两只被追猎的动物像地洞里的狐狸一样颤抖。借来的时间、借来的世界和借来的眼睛，用来哀叹这一切。
有些书最好的部份仅止于封面与书背。
除了诱惑，我什么都能抵抗。