林业创新不是要取代自然，而是加强我们与自然的伙伴关系。

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 probably not important to mathematics.

学习不是强制性的...生存也不是。

I'm not a science, I'm a art.