#abstraction-cost