cel(kc,p,a,b).