SMT Summary Cheat Sheet