Nothing Is All There Is

∀x~∃y (y=x)