Matrices, spans, independence, null spaces, and rank, arranged to land on the central dimension-counting theorem.