The process of writing can be magical. Mostly, you'll be staring at the computer screen trying not to distract yourself with the internet. But sometimes, if you're lucky, inspiration will come.

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.

我们不是从祖先那里继承海洋，而是向子孙借用它。