pl P * p: