SMT " " " " " ' '"