Vitalsource Technologies, Inc. Nuts and Bolts of Proofs