模型检查是验证有限状态并发系统正确性的强大技术。

Responsible forestry is not a choice, it's an obligation for all of us.《Forests of Tomorrow》

身形最好的状态是顺其自然，感情最好的状态是真率。顺其自然就不会背离，真率就不用劳神。

In every word, there is a piece of the writer's soul.

The act of writing is an act of optimism. You would not take the trouble to do it if you felt it didn't matter.

我们这些幸运的人有责任回馈社会。至于是像我这样边走边捐，还是像沃伦那样先捐一点，然后（死后）再捐很多，这是个人喜好问题。

To be alive is to be mortal. To be alive is to be, from moment to moment, a survivor.

【讲解】：有了过错而不改正，这才真叫过错呢。