Every individual is a moral legislator.

每一个数学问题都是一个等待解决的谜题，每一个解决方案都是迈向更深入理解的一步。

程序最重要的属性是它是否实现了用户的意图。

The secret of change is to focus all of your energy not on fighting the old, but on building the new.

The key to success is to keep going even when things seem impossible.