https://dylandijk.github.io/posts/why-do-we-need-measure-theory/