SMT Notes