自由不是没有主人，而是选择自己的主人。

伤害我们的并非我们的遭遇，而是我们对此的回应。

Faith has to do with things that are not seen, and hope with things that are not at hand.

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

史记

That “democracy” is a somewhat vague term which I cannot define precisely. We ought to say, therefore: “I am fairly certain that it is a good thing if a government has something of the characteristics that are common to the British and American Constitutions,” or something of this sort.