add 4.tex