当我们无力改变处境时，我们就被挑战去改变自己。
When we no longer have the power to change a situation, we are challenged to change ourselves.
Freedom is nothing but a chance to be better.
城市是一个活生生的有机体，不断演变并适应其居民的需求。
目的可以证明手段的正当性，只要存在某种能证明目的正当性的东西。
"Beauty will save the world, but only if it is truthful beauty."
There is only one boss. The customer. And he can fire everybody in the company from the chairman on down, simply by spending his money somewhere else.
我总是试图将我的弱点转化为优势。
The challenge in model checking is not just to find errors, but to understand why they occur.
A mathematician's work is mostly a solitary pursuit, but it builds on the work of many others.