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