THE SMT Difference