小说是让不可见的东西变得可见的艺术。

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.

克服恐惧的最好方式是用勇气面对它。

让儿童参与工作，能增强他们对生活环境的责任感。