Long winded function declaration
Vect predicate