simplification of the vector space.