Text this: Algebraic theory of semigroups