Vitalsource Technologies, Inc. Klassische Logik