  A problem with the translation strategy used by defenders of fixed domain quantification is that rendering the English into logic is less direct, since \(E\) must be added to all translations of all sentences whose quantifier expressions have domains that are context dependent. A more serious objection to fixed-domain quantification is that it strips the quantifier of a role which Quine recommended for it, namely to record robust ontological commitment. On this view, the domain of \(\exists x\) must contain only entities that are ontologically respectable, and possible objects are too abstract to qualify. Actualists of this stripe will want to develop the logic of a quantifier \(\exists x\) which reflects commitment to what is actual in a given world rather than to what is merely possible.