Technology in forestry should serve nature, not conquer it.
林业技术应该服务于自然，而不是征服它。
The integration of informatization and industrialization is the future trend.
I always try to push myself to do something different.
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.