Abstraction, Reformulation, and Approximation