Every artist dips his brush in his own soul, and paints his own nature into his pictures.

生活中唯一不变的是变化。

要做的事情有那么多，完成的却只有那么一点。事情就是这样。

一个公开的民意测验无法代替思考。

All men are created equal.

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