我们写作不是为了被理解,而是为了理解。
"We do not write to be understood; we write in order to understand."
哲学史不是思想的博物馆,而是一个活着的传统。
The challenge in model checking is not just to find errors, but to understand why they occur.
The great man is a public misfortune.