Class BitVectorIdentity