Text this: A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic.