逝者是我们寻求真理的沉默伙伴。

I don't run out of material. I run out of time.

"I don’t have to be so afraid of good-bye, because good-bye doesn’t have to be forever."

确保和平的唯一方式是为战争做好准备。

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.