Update lab_3.tex