"Vector types have the property:" . . . .