The past is a foreign country; they do things differently there.
过去是一个陌生的国度；那里的人做事方式不同。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
当我们把上帝放在第一位时，所有其他事情都会归于其适当的位置或从我们的生活中消失。
He who is not a good servant will not be a good master.
The secret of change is to focus all of your energy not on fighting the old, but on building the new.
小说是内心生活的伟大艺术形式。