' pBA C AX(C,A4mAX [2 BV^