"kW[[A],u[B],[A],enriec`4[e[A],u[C]]]