"kW[`[A],u[B],[A,enrinr[A],u[B],[C]]]