more implementation.tex