SMT's Explained