FAQs for SMT