Vitalsource Technologies, Inc. The Nuts and Bolts of Proofs