More work on vector spaces