Update wstep.tex