Hey! The basic process of SMT you ought to know.