Update procedure.tex