Update lab04.tex