Update implementation.tex