(#x:left  <= #x:right)