SMT RULE