xyN=(xN)(yN)\in\overline{H}