bump semigroups