The truth will set you free, but first it will piss you off.
我们必须记住的是,我们仍然可以做任何事情。我们可以改变主意。我们可以重新开始。
唯一比外星人更让我害怕的是没有外星人。我们不能是创造物中最好的。我祈祷我们不是全部。如果是这样,我们就麻烦大了。
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.