b[E^..]..B[E^]
b[E^..]..B[E^]

b[E^..]..B[E^]