Added most of the new measure theory stuff