Text this: Algebraic Logic