SMT Introduction