Update PRMIA 3.B.4.2.tex