 Generalized Curry-Paradox Lemma Suppose that \(\mathcal{T}\) is such that Id holds and that for some pair of sentences \(\pi\) and \(\mu\), (i) \(\mu\) and \(\odot\mu\) are intersubstitutable according to \(\mathcal{T}\) and (ii) \(\odot\) is a Curry connective for \(\pi\) and \(\mathcal{T}\). In that case  \(\vdash_{\mathcal{T}}  \pi\).[25] 