e[A,B,A,B[,BGen,rc3`i[A,#,B,>U],B,C],B,C,C]