Update Validation.tex