Linear_topological_space loading ...