The ultimate goal of mathematics is to eliminate any need for intelligent thought.

Alfred Whitehead