const Vector&