0(0,2):  0  0  [i2]  0   (1,2)   
1(1,0):  1  1  [r2]  2   (0,*)   1
2(1,1):  1  1  [r2]  1   (0,*)   1