\[p(a,b)=0,\]