 An argument that appears to establish the Troubling Claim will count as paradoxical provided there is also compelling reason to believe that this claim is false. A counterexample to the Troubling Claim would be any theory \(\mathcal{T}\) and sentence \(\pi\) such that there is a Curry sentence for \(\pi\) and \(\mathcal{T}\) but it is not the case that \(\vdash_{\mathcal{T}} \pi\).