The most successful modern states are those that have been able to harness the power of the market while maintaining a strong state that can provide public goods and regulate private activity.
最成功的现代国家是那些能够利用市场力量，同时保持一个能够提供公共产品和规范私人活动的强大国家的国家。
模型检查是验证有限状态并发系统正确性的强大技术。
Deciding what not to do is as important as deciding what to do.
In the ruins of our cities, we search for the fragments of our identity.
在商业中，诚信是不可妥协的。它是持久成功的基础。