你生活的状态不过是你心态的反映。
The state of your life is nothing more than a reflection of your state of mind.
让我们陷入困境的不是无知，而是看似正确的谬误论断。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
【译文】他人骑大马我骑毛驴，仔细想想，我不如他，回头看了一下，还有不如我徒步肩挑的人呢。
人们说逝者总是在俯视着我们。但我们从不回望。
"Jeder hat seine eigene Geschichte, aber nicht jeder kann sie erzählen."
我不喜欢解释我的作品。如果能用语言表达，我就不需要画了。
天子认为对的未必对，天子认为错的未必错
The most personal is the most creative.