implementation.tex update