implementation.tex