x1 and x not