Revised implementation.tex