The idea of abstraction