Vitalsource Technologies, Inc. Ways Of Proof Theory