Updated implementation.tex