master as of 18-Jun-2014
master as of 22-Jun-2014
measurable functions and simple functions