Topological_tensor_product loading ...