reorganized SMT notes; added in class handout