SMS dit: Introduction to measure and probability