Strong_operator_topology loading ...