Inductive_tensor_product loading ...