How do you evaluate #color(white)()^7 P_3# ?