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 only way you can write the truth is to assume that what you set down will never be read.

I've always believed that clothes should look lived-in, like they have a past.

忠于自己，永远不要让别人的话分散你对目标的注意力。