Vitalsource Technologies, Inc. Intensional First-order Logic