消えたB0の復活の呪文は、 B0 AND NOT B2 OR B3 かもしれない。