∀ x, ∃ y, x ≅ y



The Gang