Finished reviewing impl.tex