Update PRMIA 3.A.2.tex