Why do we need this?
Will the copy-pasting be a problem in the future if the implementation of VectorSpace changes?