我们写作不是为了被理解,而是为了理解。
"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.