G10: Column vectors and vector proofs