Text this: Algebraic aspects of propositional logic