∀ etc.