it should be less_eq_s_d