∃x∃yx=yとかは?