威胁我们文明的99%的麻烦都来自于过于乐观，因此我们应该有一个更加保守的会计制度。

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.

写作是对抗遗忘的一种抵抗行为。