SMT: Here's a Thought!