"The ultimate goal of mathematics is to eliminate any need for intelligent thought" -- Alfred North Whitehead