Text this: Semigroups underlying first-order logic /