Update explicate_problem.tex