Update PRMIA 1.A.1.5. tex