写作就是重写。

绘画不仅仅是在纸上做标记，它关乎讲述一个故事。

The best way to predict the future is to invent it.

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.