Email Record: Measure, integral, and probability /