"Die größten Abenteuer sind die im Kopf."

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.

Are you upset, little friend? Have you been lying awake worrying? Well, don't worry. I'm here. I'm here to give you reassurance. Everything is all right. The famine will end...the sun will shine tomorrow...