宇宙、天地，有它自然的运行规律，是持久不变的，不会以人的意志为转移，它既不会因为有像尧那样的仁德君主而存在，也不会因为有像夏桀那样残暴的君主而消失。顺应自然规律来治理国家，就会获得吉祥；如果违背自然规律，就会招来灾难。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
在一个不断试图让你成为别人的世界里，做你自己是最大的成就。
译文：历经千古的江山依旧存在，却再也找不到像孙权那样的英雄人物了。
重要的不是金钱，而是你拥有的人才、领导方式以及你的理解程度。
The meaning of a sentence is not just in the words themselves， but also in the illocutionary act it performs.