战争是黑暗的，但有时它是我们唯一的光。

自由是人类参与自身发展的能力，是我们塑造自我的能力。

股市在短期内是投票机，但在长期内是称重机。

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.