Abstraction On Demand