There's a joke about monoids and semigroups in here somewhere but my lack of a college education is hindering me.