fixe bib, split SMT encoding into three sections, revise as discussed