"[0243] However, when (X, Y) is (--N???, ???CR1--), Z is a group" . . . . .