. . . "The eliminativist (E) claims that an A, as the term 'A' is correctly and properly understood, cannot exist, because its definition would include features inconsistent with being a B. The reductivist (R) is saying that, as the term 'A' is correctly and properly understood, it is entirely consistent that an A can be a B, indeed that every A is a B.But if it is merely a quarrel over definitions, why" .