what if B a b => B b c => B c d