Riesz's_lemma loading ...