%W[[A[B],`3[enW[[A],enc`3[enec`[A],u[B[rB],[C]]]