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

一言一行，效法古代圣贤，就会道德长进；功名利禄，听任天命安排，就会心意闲适；因果报应，考虑子孙福祸，就会办事公正；口体之事，考虑疾病袭来，就会俭朴节省。

我不害怕变老。我认为变老是一种特权。

真正的艺术家并不骄傲；他知道艺术比他更伟大。

过去是一个异国他乡；那里的人们做事方式不同。

如果使人们喜怒无常，居处不定，思虑不得要领，行事中途就乱了章法；那么，天下间就会出现各种不平与不合理，而后像盗拓或者曾参、史鳅做的那些事情，都会发生。