A second characteristic, closely linked to the first, of all four generalizations is that they lack not only universal quantifiers but also scope modifiers. That is, they are not only not genuinely of the form ‘For all x and some y if x has property ϕ, then y has property ψ’, but we cannot say of them in any precise way under what conditions they hold.