added VectorSpace