Supervector_space loading ...