Topologically_stratified_space loading ...