some lines in hmm_synthesis.tex