我对别人的事情了解得越少,我就越快乐。
The less I know about other people's affairs, the happier I am.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
我们所看到或似乎看到的一切,都只是梦中之梦。
The most important thing in life is to stop saying 'I wish' and start saying 'I will.'
Discipline is the bridge between goals and accomplishment.