add xs more_than_or_equal