Abstraction, Reformulation and Approximation by Berthe Y. Choueiry