SMS dit: Brief calculus and its applications /