The role of SMT filters.