problem([]==>x:pnat=>y:pnat=> (less(x,y)=>void)=>leq(y,x),_,_,_).
