Update PRMIA 1.C.2.tex