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