We must decouple economic growth from environmental degradation.

简单不是缺乏复杂性，而是对复杂性的解决。

However difficult life may seem, there is always something you can do and succeed at.

一旦我们意识到不完美的理解是人类的条件，那么犯错并不可耻，可耻的是未能纠正我们的错误。

你必须相信自己，即使没有其他人相信你。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。