added BitVector