refactor.tex