 Again, any argument that appears to establish the Troubling Corollary will count as paradoxical provided that there is compelling reason to believe that there are nontrivial theories (indeed true theories) that are Curry-complete.