Update lab3_theory_model.tex