我们面临这样一个进退两难的境地，即教育已经成为智慧和自由思想最主要的障 碍之一。

Sustainability is not a style, it's a responsibility.

Responsible mining is not an option, it's an obligation we owe to our planet and future generations.

我明白你无法控制生活中的一切，但你可以控制自己的反应。

λ演算的基本概念是函数，被视为一种对应规则。