rGe[A,B,A,Bge3[n,i,r3[A,B,C],B,C],B,C,C]