a b X b v a.