最重要的事情是保持最重要的事情是最重要的。
Mental activity is always directed toward some end.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The artist must be a pilgrim of the unknown.
最深刻的洞见往往来自意想不到的地方。