Existence for All " ∃∀ " ∃xistence for ∀ll