p : a P » - s Pn-