Indiscrete_topology loading ...