Finite-dimensional_vector_space loading ...