∀ x, ∃ y, x ≅ y