#abstraction-inversion