A.Antonopoulos predicted SMT's