Update lab2_theory_model.tex