Abstraction lies at the heart of mathematics. It makes math powerful, but at the same time, it can make math hard to understand. Abstraction makes math simultaneously beautiful and austere, useful and ...