Major redraft of the vector spaces post