Update policy.tex