Vitalsource Technologies, Inc. Abstraction, Reformulation, And Approximation