Measure Theory, fall 2019-2020