તેથી, જો કોઈ ઇચ્છા ન હોય તો, તે SMT ની તરફેણ કરવાની જરૂર નથી.