Done Rplus_lt_compat_l