当人们做不到一些事情的时候，他们就会对你说你也同样不能。
People can't do something by themselves; they wanna tell you you can not do it.
（有人问巴菲特死后，其所投资的公司会有什么影响，他回答）
精神生活是对环境的持续调整。
"A child who reads will be an adult who thinks."
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。