Vitalsource Technologies, Inc. Automated Deduction - Cade-21