Fiends of SMT