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