"[[A],u[B],[A],eniec`4[e[IGen`1[[A]]],u[C]]]