BA(xCP @CP BA(PT @%UU%