Vitalsource Technologies, Inc. Trace Formulas