所有没有杀掉我的就只会令我更顽强！

如果你想走得快，就一个人走。如果你想走得远，就一起走。

诗人的任务是照亮黑暗。

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.

The art of being wise is the art of knowing what to overlook.