Text this: Exchangeability and semigroups