【译文】是是非非每天都有，若不去听它自然就不存在了。宁可生活贫困，做一个正直的人，也不能生活富足，做一个奸邪的人。有些事宁可相信它有，也不要相信它没有。

Try again.Fail again.Fail better.

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

I think it's important to have a sense of humor about yourself.

忧伤愁苦，就会心气滞结；忿怨愤怒，就会心气横逆不顺；惊恐畏惧，就会心气沉落不浮；拘谨固执，就会心气郁郁不释；急躁浮躁，就会心气损耗不足。