Life was simple before World War II. After that, we had systems.
二战前生活很简单。之后，我们有了系统。
诗人的任务是照亮黑暗。
压力是一种特权。
重要的是旅程，而不是到达。
模型检查是验证有限状态并发系统正确性的强大技术。
我跑步不是为了延长生命，而是为了给生命增添活力。
那是一种内在的东西，他们到达不了，也无法触及的，那是你的。
创新不仅仅是创造新事物，更是改进已有的事物。
在一年之中，最重要的事情是种植谷物，对于十年的打算，最重要的事情是种植树木。
我不需要舞台来闪耀。
世界的力量平衡最终是生产力平衡的问题。