x, y \in U_1 \cap U_2