Working on lecture 7 -- independent vectors.