 As noted above, Curry’s paradox is often understood as a challenge to the existence of nontrivial theories. Given the Troubling Claim, a theory will be trivial whenever a Curry sentence can be formulated for any sentence in the language of the theory. Indeed, triviality follows from a weaker condition, which the following definition makes explicit.