 For now, the formal languages \(L_{\textrm{PFO}}\) and \(L_{\textrm{PFO}+}\) will be interpreted only by means of a translation of them into ordinary English, augmented by indices to facilitate cross-reference (Boolos 1984: 443–5 [1998a: 67–9]; Rayo 2002: 458–9). (More serious semantic issues will be addressed in  Section 4,  where our main question will be whether our theories of plural quantification are ontologically committed to any sort of “set-like” entities.) The two clauses of this translation which are immediately concerned with plural terms are