An argument for more economical mathematical reasoning through effective notation, formal calculation, abstraction and the systematic removal of unnecessary complexity.