α ∀ β