∀f(x)=True, ∀f(x)=False