∀ x, ∃ y, x ≅ y



Caltrains

Caltrain Station, San Francisco, CA