Vitalsource Technologies, Inc. Recursive Model Theory