Text this: Algebraic Theories