SMS: A practical calculus