Vitalsource Technologies, Inc. Advances In Natural Deduction