 involves irreducible non-substitutional quantification into sentence position… We should not even assume that all non-substitutional quantification is interpreted in terms of assignments of values to the variables. For “value” is a noun, not a sentence. (1999: 263)