Schur's_lemma loading ...