Vitalsource Technologies, Inc. Contributions To Non-standard Analysis