Text this: Measure-theoretic probability /