W%[3[[A],eA%[c`3[[A],[B],[C]]]],[B`3[[A],[B],[C]]]