心身问题不仅仅是一个局部问题，而是让我们面对宇宙的深刻奥秘。

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.

Civilization as it is known today could not have evolved, nor can it survive, without an adequate food supply.

I have always been alone, but I have never been lonely.