Add SMT Logic