Nothing Is All There Is

∀x∃y(~(y=x))