  The antinomy with which we started can now be resolved by disambiguating.  Arithmetic and set theory make distinctions among objects, and so are not topic-neutral in the first sense, but they might still be topic-neutral in the second sense, by virtue of their universal applicability to reasoning about any subject. We are still faced with a decision about which of these notions of topic neutrality is distinctive of logic. Let us postpone this problem, however, until we have had a closer look at both notions.