[,rc`3[A,B[3[A,C],