"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
浮动汇率并非解决所有经济问题的万能药，但它们可以提供一种有用的调整机制。
Politics has no permanent friends or enemies, only interests.
Today is difficult, tomorrow is more difficult, but the day after tomorrow is beautiful.
Literature is the passport to enter a larger life.
It’s not about being fearless, it’s about getting over that fear and getting on with it.
最有效的政策是那些能协调个人和集体利益的政策。
The death of a beautiful woman is, unquestionably, the most poetical topic in the world.
The novel is a way of thinking about the world, not just a way of describing it.
Psychology must avoid all forms of mentalism.