I always assumed abstraction was only a special case of in direction. Indirection on a meta level.
Like loops are abstractions for jumps, but this means that you "indirectly" use jumps when using loops.