> The 'for all' statement is also an existential quantifier, as is the 'this one value' statement implicit on the imperative statements. If you're making a tec

> The 'for all' statement is also an existential quantifier, as is the 'this one value' statement implicit on the imperative statements. If you're making a technical claim, rather than some informal claim whose meaning I'm missing, then "for all" is a universal, not an existential, quantifier. The truth of universal quantification over an empty set is an important part of predicate logic.