Text this: Integration, measure and probability /