* Added Vector::exists().