x + y \in U_1 \cap U_2