Contraction_(operator_theory) loading ...