Welcome to the SMT