It compiles without vector-space.