模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
When we love, we always strive to become better than we are. When we strive to become better than we are, everything around us becomes better too.
房屋漏水了，百姓就会离去；河水太浅了，鱼儿就会逃离；树木长高了，鸟儿就会栖息；施政仁德了，士子就会归附。点评：《论语》曾言「德不孤，必有邻」孔子告诫人们要不断提高道德修养。
The city is a living organism that we must treat with care.
A strong brand is built on trust and consistency.
Leadership means making tough decisions today that will benefit everyone tomorrow.
政府下的人的自由是拥有一个普遍适用的常规生活准则，而不受另一个人的多变、不确定和武断意愿的支配。