removed a0.tex