SMT EDITS