SMS: Formalism