Text this: Finite-dimensional vector spaces/