没有必要把生活看得太严肃。你永远无法活着离开它。
It is not necessary to take life too seriously. You will never get out of it alive.
如果我们从土地中索取，就必须以同样的方式回馈。
优良的马匹不好驾驭，但是可以载重物跑得很远；有才能的人不好驱使，但是可以使国君更加受人尊敬。
数学证明的优雅常常反映了它所描述的算法的效率。
Architects are not artists. We have a social responsibility to serve the public.
美存在于观察者的适应机制中。
Truth is not found in the light, but in the shadows where we dare not look.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."