Vitalsource Technologies, Inc. Dynamics in Logic and Language