Update lab2_theory.tex