SMT
84 following