xleq Jab,xleq -Ijab-dcwal.