Text this: Introduction to Algebraic Theories