Category talk:Theorems in propositional logic