Text this: Algebraic theories