x=x,∃u(u=x),∀x∃u(u=x)