Update quest13.tex