Text this: Bounded arithmetic, propositional logic, and complexity theory /