The state is nothing but a machine for the oppression of one class by another.

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

We’re in the business of chaos and the art of subtraction.

精神科学不想推翻自然科学的结果，而是要完善它们。