Topological_semigroup loading ...