Part of what you must learn is how to handle mistakes and new facts that change the odds.Life, in part, is like a poker game wherein you have to learn to quit sometimes when holding a much-loved hand.

Whereof one cannot speak, thereof one must be silent.

头脑不是要被填满的容器，而是需要被点燃的火种。

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 a finite problem.