"Vectors" is fully verified