人的心智是如此构造，以至于能够对事件的概率形成判断。

Language is not a cultural artifact that we learn the way we learn to tell time or how the federal government works. Instead, it is a distinct piece of the biological makeup of our brains.

Strategy is not about predicting the future, but about preparing for it.

汽车产业不是百米冲刺，而是一场马拉松。

The world owes all its onward impulses to men ill at ease. The happy man inevitably confines himself within ancient limits.

模型检查是验证有限状态并发系统正确性的强大技术。