Compact_operator_on_Hilbert_space loading ...