形式化方法不是银弹，但它们是追求可靠系统的重要工具。

写作的行为是一种抵抗的行为。

医学的未来不仅仅是治疗疾病，而是在疾病开始之前预防它。

There are only two ways of telling the complete truth--anonymously and posthumously.

最好的电影是那些在你观看后久久留在你心中的电影。