put val[k][1] notation on both PML and MuinvPML