没有人真正了解其他人。他所能做的最好的事情就是假设他们像他自己一样。

精神生活是对环境的持续调整。

The soul is created in a place between time and eternity: with its highest powers it touches eternity, with its lower time.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。