Domain d1xdyj_: 1xdy J: