  Contraction-free responses must thus reject one or the other of these two principles for the conditional of a nontrivial Curry-complete theory. Accordingly, two subcategories of theorists in category (I) can be identified: