Update PRMIA 1.A.3.2.tex