implement Vect::exists