形式化方法的美在于它们能够提供关于系统行为的绝对保证。

心理过程的价值不在于其构成，而在于它对生存和繁荣的后果。

人生中唯一真正的失败是不忠于自己所知的最好。

The only way to tell the truth is to speak with kindness. Only the words of a loving man can be heard.

唯一的出路就是穿过去。