Update exp_implementation.tex