Update PRMIA 1.C.5.tex