p(a,b)=0,