p(a,b)=ab,