x = (x^k, x^l) \in \overline{A \times B}