只有在梦想中，人才能真正自由。从来如此也将永远如此。
But only in their dreams can men be truly free. Twas always thus, and always thus will be.
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
文学是可能的艺术。
保持饥饿，保持愚蠢。
The pain of loss is the price we pay for the joy of love.
经济转型的成功不仅取决于政策，还取决于制度。
程序最重要的属性是它是否实现了用户的意图。
Think wrongly, if you please, but in all cases, think for yourself.
最好的尚未到来。
A cake is only as good as the ingredients you put into it.