I think goals should never be easy, they should force you to work, even if they are uncomfortable at the time.

使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。

The magi brought valuable gifts, but that was not among them. This dark assertion will be illuminated later on.

可持续发展始于小步，但需要大视野。

The trouble with most people is that they think with their hopes or fears or wishes rather than with their minds.

法律体系的存在是一个事实问题，而不是道德问题。

唯一真正的监狱是你为自己建造的那个。