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.

成功不是终点，失败也不是致命的，重要的是继续前进的勇气。

The best way to improve a program is to rewrite it.

The future is no longer what it was.

Sometimes the only way to solve a crime is to think like the criminal.

The only person you should try to be better than is the person you were yesterday.