The only way to do great work is to love what you do.

赢得奖牌并不是奥运会的重点。重要的是参与。

粮食安全的未来就在波涛之下，我们必须负责任地利用它。

人类认知存在着局限性。我们往往会根据有限的信息做出全盘的判断，这种倾向可能导致严重的误判。

"In the end, we will remember not the words of our enemies, but the silence of our friends."

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

遗忘是失去自己的一部分，而记住则是让它继续存在。