所有老人共同的大秘密是，在七八十年里，你真的没有改变。你的身体变了，但你一点都没变。
模型检查是验证硬件和软件系统正确性的强大工具。
自由不是任何人可以给予的东西。自由是人们夺取的东西，人们有多自由取决于他们想要多自由。
Every role is a journey, and every journey teaches you something new.
历史上的重大战争——我们被告知，而且被告知的是真实的——是国家不平等增长的直接或间接结果。