refactored SMT notes