The meaning of life is that it stops.

International politics is a ruthless and dangerous business, and it is foolish to expect states to behave according to moral principles.

生命的本质不在于目的地，而在于旅程本身。

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.