"The unexamined life is not worth living."
未经审视的生活不值得过。
To remain quiet is to resolve the mind in the self.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
我不是女权主义者。我赞美男人，我爱男人。我赞美美国男性文化，啤酒，酒吧和肌肉车...但我确实相信女性应该获得平等。
我不仅想成为最好的，我想成为有史以来最好的。
政策应该基于证据，而不是意识形态。