#x:left  <= #x:right