wrote section 3.1 on subspaces