Vitalsource Technologies, Inc. Measure-Theoretic Probability