What Is SMT and How Can It Help Me?