使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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.
Should you find yourself contorting to fit a system, dear reader, stop and ask if it's truly you that must change or the system.
在软件系统中，蠕虫通常是早起的鸟儿。