Abstraction, Reformulation, And Approximation door