Second-order logic is “set theory in sheep's clothing”: the ontological commitments of set theory have been hidden under the guise of logic. To make ontological commitment transparent, Quine holds, second-order theories must be transformed into first-order theories by replacing second-order variables with first-order variables ranging over sets, and taking predication to be set membership.