Sun don't shine forever, but as long as it's here then we might as well shine together.

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.

可持续的森林是既能支持野生动物又能维持生计的森林。