SMS: Measure theory and integration