∅ ≠ ∅