我不完美，但我始终是我。

爱情只是快乐，而荣誉是责任。

我看到了，我忘记了；我听到了，我记住了；我做过了，我理解了。

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.