DB t : & ~B