Mentions
SMT has not yet been mentioned.