Vitalsource Technologies, Inc. Computation, Proof, Machine