Semitopological_group loading ...