Added more measure theory