“Mathematics is no more about computation than literature is about typing.” – John Allen Paulos