Topological_distinguishability loading ...