所有事情都是可能的，直到它们被证明是不可能的——即使不可能的事情，到目前为止也可能只是如此。

Love is the only sane and satisfactory answer to the problem of human existence.

The secret of happiness，you see，is not found in seeking more，but in developing the capacity to enjoy less.

故事的好坏取决于它提出的问题。

我不是那种会让对我传奇的爱减少的人。

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.