Abstraction, Reformulation, And Approximation by