#abstraction-ladder