Intro_exercises.tex actually deleted