G: (X, Y) -> R -> Q -> Z -> Z XOR R