Update PRMIA 3.A.6.tex