SMS: Auditing Theory and Practice