vectors and vector addition