形式化方法的美在于它们能够提供关于系统行为的绝对保证。
With a library you are free, not confined by temporary political climates. It is the most democratic of institutions because no one - but no one at all - can tell you what to read and when and how.
领导力在于因为你的存在而让他人变得更好，并确保这种影响在你离开后依然持续。
Philosophy is a battle against the bewitchment of our intelligence by means of language.