形式系统的发展彻底改变了我们对数学的理解。

The challenge with hepatitis C was not just to find the virus, but to understand how it evades the immune system.

有钱的单身汉总要娶位太太，这是一条举世公认的真理。

惩罚教会的是恐惧，而不是责任感。

我们今天种下的每一棵树都是对明天的承诺。