The best way to predict your future is to create it.

Design is not just what it looks like and feels like.Design is how it works.

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.