All in SMT