A well-designed system should be easy to use, easy to understand, and easy to modify.
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.
The chemical industry is the backbone of modern civilization, and we must treat it with the responsibility it deserves.