SMS dit: Reduction, abstraction, analysis