Update PRMIA 1.C.4.tex