Why SMT's will be better