SMT3 being SMT3