Update PRMIA 1.B.9.tex