"Words are the voice of the heart."

成功是在你想要的时候，在你想要的地方，和你想要的人一起，做你想做的事情，尽可能多地做。

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.

"Don't be afraid to give up the good to go for the great."

"I don't write to be loved, I write to be understood."