Text this: Notes on semigroups IV /