A Note on the Computational Complexity of the Pure Classical Implication Calculus

We give an interpretation of classical propositional logic in the pure implicational fragment of classical logic