So What the Fuck is an SMT?