Work on into.tex.