Update justification.tex