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.

"The power of a story lies in its ability to make us feel less alone."

The hard problem of consciousness is the problem of explaining how and why physical processes in the brain give rise to subjective experience.