SMT DIVERGENCE SIMPLIFIED 🧵