你在地球上。对此没有解药。

The challenge in model checking is not just to find errors, but to understand why they occur.

成为质量的标杆。有些人并不习惯追求卓越的环境。

解释：处于安全环境时要考虑到可能出现的危险，考虑到危险就会有所准备，事先有了准备就可以避免祸患。

阅读是不用移动的旅行。

能源转型不是是否会发生的问题，而是如何以及何时发生的问题。

我对蛋糕的政策是支持拥有它并支持吃掉它。

我从不担心行动的危险,我更担心不行动的危险。

我为什么要站到这儿，我站到讲台上，是想提醒我自己我们必须时刻用不同的眼光来看待事物。

应对不自由世界的唯一方法是变得如此绝对自由，以至于你的存在本身就是一种反叛。

“诚”没有不可以打动的东西，如果用在了修身智商，这行可以使得道德变得更加高尚。如果用在处理事情上面，就能够将事情做好。