p'-'l[p']=\p[P}