The challenge in model checking is not just to find errors, but to understand why they occur.

做同样旧事的代价远高于改变的代价。

The person who tries to live alone will not succeed as a human being. His heart withers if it does not answer another heart. His mind shrinks away if he hears only the echoes of his own thoughts and finds no other inspiration.

The best stories are those that resonate with our own hidden thoughts.

写作是理解我们关系的一种方式。

十年寒窗苦读无人问津，一举成名天下皆知。