 Definition 3 (Curry connective)  Let \(\pi\) be a sentence in the language of theory \(\mathcal{T}\). The unary connective \(\odot\) is a Curry connective for \(\pi\) and \(\mathcal{T}\) provided it satisfies two principles: