Abstraction ladder