B, B_not and B_inv