可持续性不是一种选择；它是我们对下一代的责任。

描绘春天花开时的愁绪，连珠帘都懒得卷起

我通常通过让问题吞噬我来解决问题。

明智地思考却愚蠢地行动，这是人性。

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.