BitSet
Implication
Implication