Knowledge is the food of the soul.
知识是灵魂的粮食。
模型检查是验证有限状态并发系统正确性的强大技术。
译文：有任何事对着品行正直的人说，是是非非不要听心术不正的人说。赏析：君子做事光明磊落，胸襟宽广，我们值得托付大事，而小人品行不端，无事生非，我们容易误入歧途。
预测未来的最好方式就是去创造未来。
解释：闭目塞听，不去思考，不登高博览远望的人，和死人是一类的啊！
成功不是终点，失败不是致命的：重要的是继续前进的勇气。
水产养殖企业要敢于走出去，参与国际竞争。
In chemicals, our greatest challenge is also our greatest opportunity: meeting global needs while protecting the planet.
The concept of a legal system presupposes the concept of a rule.