为王者无安宁。

在计算中，将显而易见的东西转化为有用的东西是“挫折”这个词的生动定义。

世界是一首伟大的歌，我们是其中的歌手。

翻译：处在上位不骄傲，处在下位不忧愁。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

我们生产的每一桶石油都必须是尽可能负责任地生产出来的。