оператор SMT?