 Curry-completeness responses reject the Troubling Corollary; they insist that there can be nontrivial Curry-complete theories. Any such theory must violate one or more of the logical principles assumed in the Curry-Paradox Lemma. Since classical logic validates those  principles, these responses invoke a non-classical  logic.[17] 