成功不是幸福的关键。幸福是成功的关键。如果你热爱你所做的事情，你就会成功。
The power of the press is a great power, but it must be used with great responsibility.
The best way to predict the future is to invent it.
不要担心别人会做什么。预测未来的最好方法就是创造未来。
形式系统的发展彻底改变了我们对数学的理解。
The quality of a country's institutions is the single most important determinant of its long-term economic performance.
