模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

道气常在天地内外运行流转，之所以看不见，是因为它极其清微。

I am made and remade continually. Different people draw different words from me.

生活就是与死亡不断对话。

Persistence is more important than brilliance in scientific research.

做伟大工作的唯一途径就是热爱你所做的事。

积极心理学不仅仅是感觉良好，它是关于美好生活——一种充满投入、意义和积极关系的生活。