@newmarket65: Whats SMT ?