SMS: Advanced Procedure and Axioms