Update verification.tex