Rename lab2_theory_model to lab2_theory_model.tex