Describir: Measure theory and probability