Once we have discovered, however, that they are not, it is part of their very nature that, when we describe a counterfactual world in which there were such demons around, we must say that the demons would not be cats.