BC @(P <((A@B.P <A.B.