Fix implementation.tex