Text this: Vector spaces of finite dimension /