Lecture 14: Orthogonal vectors and subspaces