Vitalsource Technologies, Inc. Automated Deduction - Cade-18