真正的文学不仅仅是讲述故事，而是通过故事揭示人性的复杂性。

在权威人士错误的问题上坚持正确是危险的。

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.

The world is full of obvious things which nobody by any chance ever observes.