[,ric`3[A,B3[3[A,C],