Noetherian_module loading ...