Quasi-compact_morphism loading ...