add xs less_than_or_equal