add hochain.tex