Normal_morphism loading ...