BitVector: ...