Update implement.tex