When men are most sure and arrogant they are commonly most mistaken， giving views to passion without that proper deliberation which alone can secure them from the grossest absurdities.

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

最重要的是对自己和观众诚实。

Happiness is a choice, not a result.

我认为忘记一个人的最好方法就是和另一个人在一起。