Vitalsource Technologies, Inc. Nonstandard Analysis