 Even before the Logicality Thesis is made more precise, it is possible to assess its plausibility for at least some of the axioms and inference rules of PFO and PFO+. First there are the tautologies and the inference rules governing identity and the singular quantifiers. There is broad consensus that these qualify as logical. Next there are the inference rules governing the plural quantifiers. Since these rules are completely analogous to the rules governing the singular quantifiers, it can hardly be denied that they too qualify as logical. Then there are the indiscernibility axioms and the axiom that all pluralities are non-empty. These axioms are unproblematic because they can plausibly be taken to be analytic. What remains are the plural comprehension axioms, where things are much less clear. For these axioms have no obvious singular counterparts, and their syntactical form indicates that they make existential claims. So it is not obvious that these axioms can be taken to be purely logical.