Abstraction is the key to mathematics.