Proper_morphism loading ...