( L | Bi^ | t^j * 2 ) ^!