 Arguably, the two problems are anticipated in Kripke’s line of reasoning, especially in his remark, mentioned earlier in this section, to the effect that the non-reductionist view faces a logical difficulty (1982: 51–52). The difficulty seems to arise from three claims that seem uncontroversial but are inconsistent: 