Title: Abstraction, Reformulation, and Approximation