Asymmetric:
forall x,y in X: xBy => y!Bx