Delete ws3.tex