Text this: Algebraic logic