Jeśli używasz jakiegoś skrótu, zwłaszcza takiego, który nie jest powszechnie znany (a SMT na pewno nie jest), to trzeba go wcześniej wyjaśnić albo chociaż rozwinąć.