Update PRMIA 1.C.6.tex