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 probably not important to mathematics.

I'm the reason your stars won't twinkle.

真正的自由不是你想做什么就做什么，而是你不想做什么就不做什么。

一个好句子是一个小小的奇迹。

建筑应该是安静的，但不是沉默的。

No arts; no letters; no society; and which is worst of all, continual fear, and danger of violent death; and the life of man, solitary, poor, nasty, brutish, and short.